DisCSP.DistributedCSP.ExternalConstraint
Class ExtNotEqualConstraint

java.lang.Object
  DisCSP.DistributedCSP.ExternalConstraint.ExtNotEqualConstraint

All Implemented Interfaces:

ExtBinaryConstraint

public class ExtNotEqualConstraint

extends java.lang.Object

implements ExtBinaryConstraint

Constructor Summary

ExtNotEqualConstraint(Variable lv, java.lang.String ev)
Costruttore di ExtNotEqualConstraint

Method Summary

boolean	check(int v1, int v2) Verifica, dati due interi v1 e v2, se v1==v2
java.lang.String	getExternalVariable() Restituisce il nome della variabile esterna coinvolta nel vincolo
Variable	getLocalVariable() Restituisce la variabile locale coinvolta nel vincolo
java.lang.String	print() Stampa il vincolo

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtNotEqualConstraint

public ExtNotEqualConstraint(Variable lv,
                             java.lang.String ev)
                      throws NotBinaryConstrException

Costruttore di ExtNotEqualConstraint

Parameters:

lv - la variabile locale coinvolta nel vincolo

Method Detail

check

public boolean check(int v1,
                     int v2)

Verifica, dati due interi v1 e v2, se v1==v2

Specified by:

check in interface ExtBinaryConstraint

Parameters:

v1 - il primo intero

v2 - il secondo intero

Returns:

true se v1==v2, false altrimenti

getLocalVariable

public Variable getLocalVariable()

Restituisce la variabile locale coinvolta nel vincolo

Specified by:

getLocalVariable in interface ExtBinaryConstraint

Returns:

la variabile locale

getExternalVariable

public java.lang.String getExternalVariable()

Restituisce il nome della variabile esterna coinvolta nel vincolo

Specified by:

getExternalVariable in interface ExtBinaryConstraint

Returns:

la variabile esterna coinvolta nel vincolo

print

public java.lang.String print()

Stampa il vincolo

Specified by:

print in interface ExtBinaryConstraint

Returns:

una stringa rappresentante il vincolo